Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
391	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
392	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia and David Walker Princeton University, Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Propositional calculus Semantics Philosophical logic Entailment Linear logic Sequent calculus Interpretation Negation Logic Mathematical logic Proof theory
393	Linear temporal logic for regular cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51
394	Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-01 04:03:57 Tiny Encryption Algorithm Partition Valuation Ground expression Constructible universe Ordinal number Mathematics Linear temporal logic Temporal logic
395	The good, the bad, and the ugly, but how ugly is ugly? Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-25 22:20:01 Interpretation Model theory Metaphilosophy Philosophy Temporal logic Linear temporal logic Logic
396	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-01-30 19:46:28 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
397	Microsoft PowerPoint - TemporalLogic.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Mathematics Linear temporal logic CTL* Entailment Kripke structure Function Golden ratio Modal logic Logic Temporal logic Mathematical logic
398	Program Monitoring with LTL in E AGLE Howard Barringer University of Manchester, England Allen Goldberg, Klaus Havelund Kestrel Technology, NASA Ames Research Center, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:43 Computing Linear temporal logic Temporal logic Eval Interpretation Structure Logical connective Futures and promises Model theory Logic Mathematical logic
399	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
400	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-07-15 03:25:29 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic

UPDATE